libxl: add rtds scheduler
authorMeng Xu <mengxu@cis.upenn.edu>
Sat, 20 Sep 2014 22:14:43 +0000 (18:14 -0400)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 23 Sep 2014 13:40:07 +0000 (14:40 +0100)
commit8720585406745681f3b610e93008f2c85fe1f4a1
treead2b81cc7ad1f8c2b6312ec97148476aec152437
parent93fd67e8c6f4854fccfc50aee4197f2a9e47e1ad
libxl: add rtds scheduler

Add libxl functions to set/get domain's parameters for rtds scheduler
Note: VCPU's information (period, budget) is in microsecond (us).

Signed-off-by: Meng Xu <mengxu@cis.upenn.edu>
Signed-off-by: Sisu Xi <xisisu@gmail.com>
Reviewed-by: Dario Faggioli <dario.faggioli@citrix.com>
Reviewed-by: George Dunlap <george.dunlap@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
tools/libxl/libxl.c
tools/libxl/libxl.h
tools/libxl/libxl_types.idl